The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory
Show HN: List of Clojure-Like projects
github.com·3h·
Discuss: Hacker News
🔧Compiler Design
How to Write Inductive Invariants
quint-lang.org·8h·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·11h
🧮Programming Language Theory
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·1d
📈Complexity Theory
Questa One Avery VIP: Accelerated Confidence In Complex Protocol Verification
semiengineering.com·1d
🤝Protocol Design
Vibe coding complex changes in Rust
youtube.com·2h
🦀Rust
🐥 Elixir Anti-Patterns
yellowduck.be·6h
⚙Functional Programming
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🔧Compiler Design
In-Depth Comparison: Workflow Control with LangGraph and CrewAI
dev.to·7h·
Discuss: DEV
🧩Theorem Proving
Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
🔢Mathematical Logic
Research Areas in Information Theory and Cryptography (The Alignment Project by UK AISI)
lesswrong.com·12h
🔐Cryptography
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
🔧Compiler Design
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
Constraint Catalog
sofdem.github.io·21h
🎯Constraint Programming
Prompt Engineering for Security. Innovation in Verification
semiwiki.com·2d
🔍Static Analysis
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🧩Theorem Proving
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·18h·
Discuss: Hacker News
🔧Compiler Design
Kimi K2 vs Grok 4: Who’s Better at Real-World Coding Tasks with Tools?
forgecode.dev·16h·
Discuss: r/LocalLLaMA
🧮Programming Language Theory
Turn on the LLM and use it in your daily workflow
funcall.blogspot.com·3h·
Discuss: Hacker News
🔧Compiler Design